Criticism of a Critic.

Criticism of Benacerraf’s Criticism of Modern Eleatics

I analyze here Benacerraf’s criticism of Thomson arguments on the impossibility of ω-supertasks. Although Benacerraf’s criticism is well founded, his analysis of Thomson’s lamp is incomplete. In fact, it is possible to consider a new line of argument, which Benacerraf only incidentally considered, based on the functioning laws of the lamp. This argument leads to a contradictory result that comp...

A critic-critic architecture to combine reinforcement and supervised learnings

In real life, learning is greatly speeded-up by the intervention of a teacher who gives examples, or shows, how to perform a certain task. In all this abstract, we let apart structural simpli cations of the problem by the designer which to not deal explicitely with learning. The intervention of the teacher can be realized in di erent ways: verbal explanation, demonstration, guidance, shaping th...

A Divergence Critic

Inductive theorem provers often diverge. This paper describes a critic which monitors the construction of inductive proofs attempting to identify diverging proof attempts. The critic proposes lemmas and generalizations which hopefully allow the proof to go through without divergence. The critic enables the system SPIKE to prove many theorems completely automatically from the deenitions alone.

The Art of Criticism? Criticism as Art!

A Critic for LISP

Our goal is to establish the conceptual foundations for using the computational power that is or will be available on computer systems. Much of the available computing power is wasted, however, if users have difficulty understanding and llsing the full potential of these systems. Too much attention in the past has been given to the technology of computer systems and not enough to the effects of...